program correctness

[ˈproˌɡræm kəˈrektnəs]
  • 释义

    程序正确性;

数据更新时间:2024-12-23 00:02:49
1、

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

互联网摘选

2、

A set of input data and conditions used to check the program correctness.

一组用于检查程序正确性的输入数据和条件.

词典精选例句

3、

The search for the mistake is limited , greatly easing the problems of maintenance and program correctness.

搜寻这个错误很容易, 维护和修改这个程式也很容易.

互联网摘选

4、

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

互联网摘选

5、

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈